conjunctive normal form satisfiability - Türkisch Englisch Wörterbuch